Modal logic

Results: 1643



#Item
641Knowledge / Rigid designator / Logic / Philosophy / Ontology / Parts of speech / Rigidity / Problem of universals / Structural rigidity / Modal logic / Philosophy of language / Reference

General Terms, Classifiers vs Designators Genoveva Martí (Logos Research Group, ICREA & U. Barcelona) Pepe Martínez (Logos Research Group, U. Barcelona) 1.- Designators General terms are often taken to designate abstra

Add to Reading List

Source URL: www.bristol.ac.uk

Language: English - Date: 2007-10-03 10:43:21
642Normative ethics / Branches of philosophy / Analytic philosophy / Virtue ethics / Epistemic virtue / Consequentialism / Epistemology / De / Modal logic / Ethics / Philosophy / Virtue

Forthcoming in C. Miller, R. M. Furr, A. Knobel, and W. Fleeson (eds.), Character: New Directions from Philosophy, Psychology, and Theology, New York: Oxford University Press. PEOPLE LISTEN TO PEOPLE WHO LISTEN: INSTILLL

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
643Modal logic / Philosophical logic / Possibility / Ontology / Possible world / Proposition / Truth / Contingency / Existence / Logic / Philosophy / Mathematical logic

Published in A. O’Hear, ed., Logic, Thought and Language, Cambridge: Cambridge University Press, 2002, pp[removed]NECESSARY EXISTENTS Timothy Williamson It seems obvious that I could have failed to exist. My parents

Add to Reading List

Source URL: www.philosophy.ox.ac.uk

Language: English - Date: 2008-02-04 11:49:49
644Non-classical logic / Philosophical logic / Modal logic / Kripke semantics / Quantum logic / Probabilistic logic / Propositional variable / Well-formed formula / Valuation / Logic / Mathematical logic / Propositional calculus

Exogenous Semantics Approach to Enriching Logics Paulo Mateus, Amílcar Sernadas, and Cristina Sernadas Abstract. The exogenous semantics approach to enriching a logic consists in defining each model in the enrichment as

Add to Reading List

Source URL: centria.di.fct.unl.pt

Language: English - Date: 2009-09-27 08:27:05
645Model theory / Philosophy of mathematics / Non-classical logic / Metalogic / Entailment / Kripke semantics / Modal logic / Philosophy of language / Propositional calculus / Logic / Mathematical logic / Philosophical logic

Dummett on the Relation between Logics and Metalogics (penultimate draft of paper to appear in M. Frauchiger and W.K. Essler, eds., volume on Michael Dummett in the Lauener Library of Analytical Philosophy, De Gruyter)

Add to Reading List

Source URL: www.philosophy.ox.ac.uk

Language: English - Date: 2014-10-24 06:40:03
646Model theory / Philosophical logic / Concurrency / Temporal logic / Temporal logic of actions / First-order logic / Modal logic / FO / If and only if / Logic / Mathematical logic / Mathematics

Reasoning about programs by exploiting the environment

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-09-12 23:54:30
647Propositional calculus / Rules of inference / Boolean algebra / Philosophical logic / Equational logic / First-order logic / Mathematical proof / Modal logic / Modus ponens / Logic / Mathematics / Mathematical logic

Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-09-09 20:13:08
648Propositional calculus / Predicate logic / Model theory / Quantification / First-order logic / Function / Generalization / Universal quantification / Modal logic / Logic / Mathematical logic / Mathematics

Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 27, 1998

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-05-31 13:45:56
649Program logic / Concurrent computing / Hoare logic / Logic programming / Communicating sequential processes / Modal logic / KeY / Guarded Command Language / Well-formed formula / Logic / Theoretical computer science / Mathematics

The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2001-11-26 10:44:16
650Philosophical logic / Non-classical logic / Propositional calculus / Boolean algebra / Mathematical proof / Natural deduction / Modal logic / Theorem / Discrete mathematics / Logic / Mathematics / Mathematical logic

Panel Moderators: Gries and Fred

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-08-21 13:49:16
UPDATE